Grunwald, A., Sax, H. (Hrsg.): Technikbeurteilung in der Raumfahrt. Anforderungen, Methoden, Wirkungen

Methoden zur Adaptiven Anpassung von EPKs an Individuelle Anforderungen vor der Abarbeitung

In diesem Artikel werden Methoden vorgestellt, wie Prozessmodelle an individuelle Anforderungen vor der Abarbeitung des Workflows angepasst werden können. Bei vielen Prozessen entscheidet sich dann, welche Teile von der zugehörigen Ereignisgesteuerten Prozesskette (EPK) ausgeführt werden und welche nicht. Beispielsweise entscheidet der Kunde zu diesem Zeitpunkt häufig, welche von den angebotene...

Methoden der Diskreten Mathematik bei

Formale Methoden der Künstlichen Intelligenz

Aufgrund der zunehmenden Komplexität von Hardund Softwaresystemen werden computergestützte formale Methoden in der Zukunft immer weiter an Bedeutung zunehmen. Aufgabe dieser Methoden ist es, menschlichen Benutzern bei der Verifikation und Synthese von Computersystemen auf intelligente Weise zu assistieren. In diesem Artikel werden Ziele, Herausforderungen und Entwicklungen im Bereich formaler M...

Navigation in der Leberchirurgie - Anforderungen und Lösungsansatz

Vorgestellt werden die klinischen und technischen Anforderungen für ein computergestütztes Navigationssystem in der Leberchirurgie. Ein Lösungsansatz zur Navigation in der Leberchirurgie wird im Kontext intraoperativer Rahmenbedingungen diskutiert. Die medizinischen Anforderungen wurden an mehreren chirurgischen Zentren erhoben. Offene und laparoskopische Operationstechniken stellen jeweils spe...

Methoden als Theorien der Wirtschaftsinformatik